A perfect field is a field <I>F</I> with characteristic 0 or with characteristic <I>p</I> and
<I>F<sup>p</sup></I> = {<i>a<sup>p</sup> | a &#8712 F</i>} = <I>F</I>.